大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Deleuze Gilles 的图书(共105本)

Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Livshits、 Benjamin.、Scandariato、 Riccardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Pardo、 Alberto.、Schneider、 Gerardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

0
索取号：
作者：Ayala、 Jos茅 L.、Garc铆a-C谩mara、 Braulio.、Prieto、 Manuel.、Ruggiero、 Martino.、Sicard、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Security and Trust Management [electronic resource] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

0
索取号：
作者：Cuellar、 Jorge.、Lopez、 Javier.、Barthe、 Gilles.、Pretschner、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Inverse Problems and High-Dimensional Estimation [electronic resource] : Stats in the Ch芒teau Summer School, August 31 - September 4, 2009

0
索取号：
作者：Alquier、 Pierre.、Gautier、 Eric.、Stoltz、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Barthe、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

0
索取号：
作者：Leuken、 Ren茅.、Sicard、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Dependence in Probability and Statistics [electronic resource]

0
索取号：
作者：Doukhan、 Paul.、Lang、 Gabriel.、Surgailis、 Donatas.、Teyssi猫re、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Hermenegildo、 Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Cooperative Game Theory of Networks and Hierarchies [electronic resource]

0
索取号：
作者：Gilles、 Robert P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Foundations of Security Analysis and Design V [electronic resource] : FOSAD 2007/2008/2009 Tutorial Lectures

0
索取号：
作者：Aldini、 Alessandro.、Barthe、 Gilles.、Gorrieri、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Smart Card Research and Advanced Applications [electronic resource] : 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008. Proceedings

0
索取号：
作者：Grimaud、 Gilles.、Standaert、 Fran莽ois-Xavier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

0
索取号：
作者：Barthe、 Gilles.、Fournet、 C茅dric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Rehabilitation in the dynamic stabilization of the lumbosacral spine [electronic resource]

0
索取号：
作者：Calvosa、 Giuseppe.、Dubois、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

0
索取号：
作者：Armando、 Alessandro.、Baumgartner、 Peter.、Dowek、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

0
索取号：
作者：Barthe、 Gilles.、Boer、 Frank S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院